#include<stdio.h>
int fact[13];

void fill(){
    fact[0]=fact[1]=1;
    int i;
    for(i=2;i<13;i++)
        fact[i]=fact[i-1]*i;
}

int main()
{
    fill();
    int n;
    while(~scanf("%d",&n))
        printf("%d\n",fact[n]);
    return 0;
}
